Matching theory - PDFSEARCH.IO - Document Search Engine

Matching theory
Results: 1366

#	Item
631	SIAM J. Comput-98 DISPROVING THE SINGLE LEVEL CONJECTURE ∗ Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2013-04-06 16:29:26 NP-complete problems Clique Matching Vertex cover Tree Circuit Aanderaa–Karp–Rosenberg conjecture Path decomposition Graph theory Theoretical computer science Mathematics
632	Matching Sources to Stores The aim of this information sheet is to look at one of the constraints on CO2 capture and storage (CCS). In theory it sounds simple; capture CO2 from power plants, store it in underground stora Add to Reading List Source URL: ieaghg.org Language: English - Date: 2013-11-06 09:06:48 Energy economics Carbon capture and storage Chemistry Sustainable energy Climate change Carbon capture and storage in Australia Eston Grange Power Station Carbon dioxide Carbon sequestration Chemical engineering
633	Reducing Uncertainty of Schema Matching via Crowdsourcing Chen Jason Zhang§ Lei Chen§ H. V. Jagadish † Chen Caleb Cao§ Hong Kong University of Science and Technology, Hong Kong, China † University of Michigan, Ann Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-08-01 05:51:52 Entropy Matching Statistics Theoretical computer science Probability and statistics Statistical theory Information theory Philosophy of thermal and statistical physics
634	Microsoft Word - JOC24-3-2.doc Add to Reading List Source URL: www.csroc.org.tw Language: English - Date: 2014-05-27 10:49:49 Theoretical computer science Computer science Software engineering Formal languages String searching algorithm Deterministic finite automaton Boyer–Moore–Horspool algorithm Finite-state machine Aho–Corasick string matching algorithm Automata theory Models of computation String matching algorithms
635	Perl Regular Expression Quick Reference 1.05 Quantifiers: Metaquote & case translations: Add to Reading List Source URL: www.erudil.com Language: English - Date: 2004-08-11 09:45:46 Regular expressions Whitespace Pattern matching Automata theory Perl Space Tilde Perl 6 rules Computing Software engineering Computer programming
636	An Introduction to Computing with Haskell Manuel M. T. Chakravarty Gabriele C. Keller Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2012-12-17 22:26:40 Functional languages Theoretical computer science Functional programming Data types Type theory Programming language Monad Pattern matching Haskell Software engineering Computing Computer programming
637	Fourier-matching Pseudospectral Modal Method for Diffraction Gratings Dawei Song1,2, Lijun Yuan2 and Ya Yan Lu2 1 Department of Mathematics, University of Science and Technology of China Add to Reading List Source URL: math.cityu.edu.hk Language: English - Date: 2011-03-15 00:20:01 Spectral method Fourier series Mathematics Fourier analysis Operator theory Ordinary differential equations Mathematical analysis Numerical analysis Joseph Fourier
638	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
639	MATCHING NUMBERS SELLER Lot #: _________________ Auction: ___________________________ Add to Reading List Source URL: www.mecum.com Language: English - Date: 2014-07-16 16:40:29 Auction Business Game theory Commerce Automobile maintenance Number matching Vehicle Identification Number
640	Matching Trace Patterns with Regular Policies Franz Baader1, , Andreas Bauer2 , and Alwen Tiu2 1 TU Dresden, Germany [removed] 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-04-14 20:01:26 PSPACE-complete NP Regular language Deterministic finite automaton P FO Linear temporal logic Book:Theory Of Computation Theoretical computer science Complexity classes Applied mathematics

UPDATE